强算子拓扑:在希尔伯特空间(或更一般的赋范线性空间)上的有界线性算子集合中,一种常用拓扑。其收敛的核心是“对每个向量逐点收敛”:一列(或更一般的网)算子 \(T_i\) 在强算子拓扑下收敛到 \(T\),当且仅当对所有向量 \(x\),都有
\[
T_i x \to T x
\]
(在空间的范数意义下)。
常用于泛函分析、算子代数与量子力学数学基础中。(另有相关概念如 weak operator topology、strong- operator topology* 等。)
/strɔŋ ˈɑːpəreɪtər təˈpɑːlədʒi/
In the strong operator topology, \(T_n x\) converges to \(Tx\) for every vector \(x\).
在强算子拓扑下,对每个向量 \(x\),\(T_n x\) 都收敛到 \(Tx\)。
A sequence of bounded operators may converge in the strong operator topology even when it does not converge in the operator norm.
一列有界算子即使不在算子范数意义下收敛,也可能在强算子拓扑下收敛。
该术语由三部分构成:strong(强)表示比“弱(weak)”更“强”的收敛要求;operator(算子)指线性算子(常指有界算子);topology(拓扑)指用“哪些序列/网算作收敛”来刻画的一种结构。所谓“强”,在这里主要体现为:要求 \(T_i x\) 在每个固定向量 \(x\) 上都按范数收敛(而弱算子拓扑只要求在内积/泛函意义下收敛)。